Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
81	JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗ Add to Reading List Source URL: www.optimization-online.org Language: English - Date: 2016-02-28 17:01:29 Mathematical optimization Operations research Numerical software Computer algebra systems AMPL Algebraic modeling language Linear programming Gurobi Automatic differentiation Nl Pyomo SCIP
82	Automatic Testing of Sequential and Concurrent Substitutability Michael Pradel Thomas R. Gross Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2013-03-07 02:30:00 Software engineering Object-oriented programming Computing Computer programming Inheritance Java Method overriding Method Software framework Class Constructor Is-a
83	Automatic Generation of Object Usage Specifications from Large Method Traces Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2009-09-02 13:08:00 Software engineering Computing Computer programming Object-oriented programming languages Programming paradigms Concurrent programming languages Functional languages Aspect-oriented software development Runtime verification Objective-C Iterator Java
84	Automatic Validation of Code-Improving Transformations on Low-Level Program Representations ∗ Robert van Engelen, David Whalley, and Xin Yuan Department of Computer Science, Florida State University, Tallahassee, FL 32 Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2004-03-02 08:35:51 Compiler Compiler construction ARM architecture NOP GNU Compiler Collection Register-transfer level E1 Algorithm Software Computing Programming language implementation
85	Implicit Parallelism with Ordered Transactions Christoph von Praun IBM T.J. Watson Research Center praun, cascaval @us.ibm.com Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2007-09-14 13:31:04 Software engineering Automatic parallelization OpenMP Data parallelism Parallel programming model Data dependency Instruction-level parallelism Thread Concurrent computing Computing Parallel computing Computer programming
86	Intent-based Compilation for Heterogeneous Parallel Architectures Waseem Ahmed Shamsheer Ahmed Add to Reading List Source URL: www.hipc.org Language: English - Date: 2011-11-11 12:59:07 Parallel computing Automatic parallelization Compiler OpenMP Algorithm Travelling salesman problem Multi-core processor Parallel programming model Speedup Computing Concurrent computing Computer programming
87	Draft version. To appear in Int. Conf. on Informatics in Control, Automatic and Robotics, ICINCOBuilding and Exploiting Maps in a Telepresence Robotic Application Javier Gonzalez-Jimenez, Cipriano Galindo, Francis Add to Reading List Source URL: mapir.isa.uma.es Language: English - Date: 2013-08-03 02:44:04 Robotic mapping Mobile robot Telepresence Telerobotics Robot Mobile Robot Programming Toolkit Autonomous robot Human–robot interaction Occupancy grid mapping Robotics Technology Robot navigation
88	Automatic Hooking for Forensic Analysis of Document-based Code Injection Attacks Techniques and Empirical Analyses Kevin Z. Snow Fabian Monrose Add to Reading List Source URL: wwwx.cs.unc.edu Language: English - Date: 2014-09-05 15:38:44 Shellcode Malware Software bugs Hooking Polymorphic code Windows API Code injection Exploit Application programming interface Cyberwarfare Computer security Computing
89	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
90	OdinMP/CCp – A Portable Compiler for C with OpenMP to C with POSIX threads Christian Brunschen D e par t m en t of Inf or m at i on Tec hno log y Add to Reading List Source URL: www.brunschen.com Language: English - Date: 1999-08-05 10:56:34 Computer programming OpenMP Barrier Thread Directive Message Passing Interface Automatic parallelization Lock Unified Parallel C Concurrent computing Computing Parallel computing

UPDATE